First-order modal logic
From MaRDI portal
Publication:1870904
zbMath1025.03001MaRDI QIDQ1870904
Melvin Fitting, Richard L. Mendelsohn
Publication date: 14 May 2003
Published in: Synthese Library (Search for Journal in Brave)
modal logictextbookfirst-order logicpossible worlds semanticsactualismpossibilismsemantic tableau rules
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Related Items (only showing first 100 items - show all)
Effective completeness theorems for modal logic ⋮ Variants of Gödel's ontological proof in a natural deduction calculus ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Quantified epistemic logics for reasoning about knowledge in multi-agent systems ⋮ Partial semantics for quantified modal logic ⋮ Expressive power of ``now and ``then operators ⋮ Tableaux for free logics with descriptions ⋮ Proof-theory and semantics for a theory of definite descriptions ⋮ Realization Theorems for Justification Logics: Full Modularity ⋮ Adding proof calculi to epistemic logics with structured knowledge ⋮ Intuitionistic Epistemology and Modal Logics of Verification ⋮ A Logic of Knowing How ⋮ Translating a Counterpart Theory into a Quantified Modal Language with Descriptors ⋮ The Fitch-Church paradox and first order modal logic ⋮ Logical, Ontological and Cognitive Aspects of Object Types and Cross-World Identity with Applications to the Theory of Conceptual Spaces ⋮ The interplay between transitivity and completeness: generalized \textsf{NaP}-preferences ⋮ Rationalizability and logical inference ⋮ A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ Metalogical decorations of logical diagrams ⋮ First-order intensional logic ⋮ A Modal Logic of Knowledge, Belief, and Estimation ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD ⋮ Names and their kind of rigidity ⋮ The problem of cross-world predication ⋮ The logic of uncertain justifications ⋮ Exorcising the phantom zone ⋮ A note on Barcan formula ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Quantification in some non-normal modal logics ⋮ What could be caused must actually be caused ⋮ Prefixed tableaus and nested sequents ⋮ Concrete possible worlds and counterfactual conditionals: Lewis versus Williamson on modal knowledge ⋮ The quasi-lattice of indiscernible elements ⋮ Quantified multimodal logics in simple type theory ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ Higher-Order Modal Logics: Automation and Applications ⋮ Repairing the interpolation theorem in quantified modal logic ⋮ The Logic of Justification ⋮ Knowledge as \textit{de re} true belief? ⋮ Unnamed Item ⋮ How to Lewis a Kripke-Hintikka ⋮ Possible worlds in use ⋮ Discovering knowability: a semantic analysis ⋮ A logic of goal-directed knowing how ⋮ Quantified temporal alethic-deontic logic ⋮ Identity, equality, nameability and completeness. Part II ⋮ Completeness in hybrid type theory ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ On Height and Happiness ⋮ Defining global supervenience ⋮ Understanding the Brandenburger-Keisler paradox ⋮ Doxastic logic: a new approach ⋮ Free logics are cut-free ⋮ Formal reconstructions of St. Anselm's ontological argument ⋮ Actualism, serious actualism, and quantified modal logic ⋮ Monotonic and non-monotonic embeddings of Anselm's proof ⋮ Structures of Oppositions in Public Announcement Logic ⋮ Approximations of modal logics: \(\mathbf K\) and beyond ⋮ Partly free semantics for some Anderson-like ontological proofs ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Action type deontic logic ⋮ Logical geometries and information in the square of oppositions ⋮ Free quantified epistemic logics ⋮ Natural deduction for first-order hybrid logic ⋮ Epistemic modals and informational consequence ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems ⋮ Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\) ⋮ First-order modal logic: frame definability and a Lindström theorem ⋮ More aboutness in imagination ⋮ Property-Based Testing for Spark Streaming ⋮ Actuality, tableaux, and two-dimensional modal logics ⋮ Solving the \$100 modal logic challenge ⋮ The actual future is open ⋮ The slingshot argument and sentential identity ⋮ A unified completeness theorem for quantified modal logics ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ \(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic ⋮ CUT AND GAMMA I: PROPOSITIONAL AND CONSTANT DOMAIN R ⋮ Mathematics of Public Announcements ⋮ Quantifier-free epistemic term-modal logic with assignment operator ⋮ C. I. Lewis on Possible Worlds ⋮ The tense logic for Master Argument in Prior's reconstruction ⋮ Differential dynamic logic for hybrid systems ⋮ Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation ⋮ Existential Import and Relations of Categorical and Modal Categorical Statements ⋮ Epistemic logics with structured knowledge ⋮ Hintikka, free logician. Singular terms in world lines semantics ⋮ Free Definite Description Theory – Sequent Calculi and Cut Elimination ⋮ A Classical Logic of Existence and Essence ⋮ Modal logic, truth, and the master modality. ⋮ Higher-Order Syntax and Saturation Algorithms for Hybrid Logic ⋮ Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems ⋮ On the proof theory of infinitary modal logic ⋮ Unifying quantified modal logic ⋮ A binary quantifier for definite descriptions for cut free free logics ⋮ \({\mathcal E}\)-connections of abstract description systems ⋮ Interpolation for first order S5
This page was built for publication: First-order modal logic
