First-order intensional logic

DOI10.1016/j.apal.2003.11.014zbMath1061.03024OpenAlexW2005814072MaRDI QIDQ598308

Melvin Fitting

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.014

zbMATH Keywords

modal logictableauxKripke modelsquantifiersintensional logiccounterpart semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Related Items

Translating a Counterpart Theory into a Quantified Modal Language with Descriptors ⋮ The Rule of Existential Generalisation and Explicit Substitution ⋮ FOIL axiomatized ⋮ Chromar, a language of parameterised agents ⋮ Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics ⋮ Prefixed tableaus and nested sequents ⋮ Counterpart theories for everyone ⋮ Mereology in Engineering and Computer Science ⋮ CIFOL: case-intensional first order logic. I: Toward a theory of sorts ⋮ On Height and Happiness ⋮ Partly free semantics for some Anderson-like ontological proofs ⋮ 2005–06 Winter Meeting of the Association for Symbolic Logic ⋮ Unifying quantified modal logic

Cites Work

• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Proof methods for modal and intuitionistic logics
• Quantified extensions of canonical propositional intermediate logics
• Types, tableaus, and Gödel's God
• First-order modal logic
• Algebraic Kripke sheaf semantics for non-classical predicate logics
• Tableau methods of proof for modal logics
• Pragmatics and intensional logic
• Incompleteness results in Kripke semantics
• Modal Logics Between Propositional and First-order
• Strongly analytic tableaux for normal modal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item