First-order intensional logic

DOI10.1016/J.APAL.2003.11.014MaRDI QIDQ598308zbMATH OpenOpenAlexFDO

Authors 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

counterpart semanticsintensional logicKripke modelsmodal logicquantifierstableaux

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2070194
• First-order modal logic
• An Ontology-Based First-Order Modal Logic
• Resolution for some first-order modal systems
• scientific article; zbMATH DE number 42734

Cites work

• Algebraic Kripke sheaf semantics for non-classical predicate logics
• First-order modal logic
• scientific article; zbMATH DE number 1612536 (Why is no real title available?)
• scientific article; zbMATH DE number 1696786 (Why is no real title available?)
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 1215472 (Why is no real title available?)
• scientific article; zbMATH DE number 221549 (Why is no real title available?)
• scientific article; zbMATH DE number 757642 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 2236678 (Why is no real title available?)
• Incompleteness results in Kripke semantics
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Modal Logics Between Propositional and First-order
• Pragmatics and intensional logic
• Proof methods for modal and intuitionistic logics
• Quantified extensions of canonical propositional intermediate logics
• Strongly analytic tableaux for normal modal logics
• Tableau methods for modal and temporal logics
• Tableau methods of proof for modal logics
• Types, tableaus, and Gödel's God

Cited in

(37)

• Reflexive intermediate first-order logics
• Idealization in applied first-order logic
• First-order modal logic
• Partly free semantics for some Anderson-like ontological proofs
• Rigid first-order hybrid logic
• Chromar, a language of parameterised agents
• Counterpart theories for everyone
• scientific article; zbMATH DE number 1696787 (Why is no real title available?)
• Mereology in engineering and computer science
• On height and happiness
• scientific article; zbMATH DE number 5000990 (Why is no real title available?)
• 2005–06 Winter Meeting of the Association for Symbolic Logic
• Translating a Counterpart Theory into a Quantified Modal Language with Descriptors
• Adding Intensional Machinery to Hybrid Logic
• An Ontology-Based First-Order Modal Logic
• Intuitionistic completeness of first-order logic
• Prefixed tableaus and nested sequents
• First-order functional languages and intensional logic
• scientific article; zbMATH DE number 1028229 (Why is no real title available?)
• scientific article; zbMATH DE number 2070194 (Why is no real title available?)
• A Way of Making World Quantification Explicit
• CIFOL: case-intensional first order logic. I: Toward a theory of sorts
• First order expressivist logic
• scientific article; zbMATH DE number 824731 (Why is no real title available?)
• The Rule of Existential Generalisation and Explicit Substitution
• scientific article; zbMATH DE number 3251384 (Why is no real title available?)
• Relating Z and first-order logic
• Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics
• Ordered Fragments of First-Order Logic
• First-order modal logic
• Modal logics with non-rigid propositional designators
• Quantified modal logics: one approach to rule (almost) them all!
• Modality across different logics
• Boxing some: axiomatizations of the -bundled fragment of first-order modal logic
• A logic of knowledge and justifications, with an application to computational trust
• Unifying quantified modal logic
• FOIL axiomatized

This page was built for publication: First-order intensional logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q598308)