DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Standard translation
Standard translation
What Is a Logic Translation? in Memoriam Joseph Goguen
Tense Or Temporal Logic Gives a Glimpse of a Number of Related F-Urther Topics
First-Order Resolution Methods for Modal Logics*
5 Model Theory of Modal Logic
Modal Logic: a Semantic Perspective
Logically Possible Worlds and Counterparts
1 Modal Logic: a Semantic Perspective
Finite Model Reasoning in Expressive Fragments of First-Order Logic∗
The Onto-Logical Translation Graph
40 Years of FDE: an Introductory Overview 1023
On the Concept of a Notational Variant*
Top View