First-order intensional logic

DOI10.1016/J.APAL.2003.11.014zbMATH Open1061.03024OpenAlexW2005814072MaRDI QIDQ598308FDOQ598308

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

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

zbMATH Keywords

Kripke modelsmodal logicquantifierstableauxintensional logiccounterpart semantics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (34)

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

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)