Switch to: Citations

References in:

On the Concept of a Notational Variant

In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). pp. 284-298 (2017)

Add references

You must login to add references.
  1. What is a Logic Translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki - 2009 - Logica Universalis 3 (1):95-124.
    We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be recovered by their abstract (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
    The general aim of this book is to provide an elementary exposition of some basic concepts in terms of which both classical and non-dassicallogirs may be studied and appraised. Although quantificational logic is dealt with briefly in the last chapter, the discussion is chiefly concemed with propo gjtional cakuli. Still, the subject, as it stands today, cannot br covered in one book of reasonable length. Rather than to try to include in the volume as much as possible, I have put (...)
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  • The Semantic Foundations of Logic: Predicate Logic.Richard L. Epstein - 1990 - Oxford University Press.
    This book presents modern logic as the formalization of reasoning that needs and deserves a semantic foundation. Chapters on propositional logic; parsing propositions; and meaning, truth and reference give the reader a basis for establishing criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, and functions. The chapter on second-order logic shows how different conceptions of predicates (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Synonymous Logics.Francis Jeffry Pelletier & Alasdair Urquhart - 2003 - Journal of Philosophical Logic 32 (3):259-285.
    This paper discusses the general problem of translation functions between logics, given in axiomatic form, and in particular, the problem of determining when two such logics are "synonymous" or "translationally equivalent." We discuss a proposed formal definition of translational equivalence, show why it is reasonable, and also discuss its relation to earlier definitions in the literature. We also give a simple criterion for showing that two modal logics are not translationally equivalent, and apply this to well-known examples. Some philosophical morals (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.
    What precisely are fragments of classical first-order logic showing “modal” behaviour? Perhaps the most influential answer is that of Gabbay 1981, which identifies them with so-called “finite-variable fragments”, using only some fixed finite number of variables (free or bound). This view-point has been endorsed by many authors (cf. van Benthem 1991). We will investigate these fragments, and find that, illuminating and interesting though they are, they lack the required nice behaviour in our sense. (Several new negative results support this claim.) (...)
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
    Download  
     
    Export citation  
     
    Bookmark   269 citations  
  • Reduction of Tense Logic to Modal Logic. I.S. K. Thomason - 1974 - Journal of Symbolic Logic 39 (3):549-551.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • The Ubiquity of Conservative Translations.Emil Jeřábek - 2012 - Review of Symbolic Logic 5 (4):666-678.
    We study the notion of conservative translation between logics introduced by (Feitosa & D’Ottaviano2001). We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can be conservatively translated into CPC. The translation is computable if the consequence relation is decidable. More generally, we show that one can take instead of CPC a broad class of logics (extensions of a certain fragment of full Lambek calculus FL) including most (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
    This paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that polymodal normal logics can be simulated by monomodal (normal) logics. Many properties of logics are shown to be reflected and preserved by such simulations. As a consequence many old and new results in modal logic can be derived in a straightforward way, sheding new light on the power of normal monomodal logic.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Normal Monomodal Logics Can Simulate All Others.Marcus Kracht & Frank Wolter - 1999 - Journal of Symbolic Logic 64 (1):99-138.
    This paper shows that non-normal modal logics can be simulated by certain polymodal normal logics and that polymodal normal logics can be simulated by monomodal logics. Many properties of logics are shown to be reflected and preserved by such simulations. As a consequence many old and new results in modal logic can be derived in a straightforward way, sheding new light on the power of normal monomodal logic.
    Download  
     
    Export citation  
     
    Bookmark   15 citations