Modal logic with names

DOI10.1007/BF01054038zbMath0793.03012OpenAlexW1981936535MaRDI QIDQ1310624

Publication date: 21 August 1994

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01054038

zbMATH Keywords

modal logic completeness definability deductive systems general theory of names modal frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Hyperboolean Algebras and Hyperboolean Modal Logic, Henkin and Hybrid Logic, Pure extensions, proof rules, and hybrid axiomatics, Hybrid languages, Notes on logics of metric spaces, Towards reasoning about Hoare relations, Exorcising the phantom zone, A Qualitative Theory of Cognitive Attitudes and their Change, Unnamed Item, Global view on reactivity: switch graphs and their logics, Tense logics over lattices, Decidability of modal logics of non-\(k\)-colorable graphs, TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES, Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?, Simple cut elimination proof for hybrid logic, Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse, The many faces of counts-as: A formal analysis of constitutive rules, Completeness in hybrid type theory, Algebraic Semantics for Hybrid Logics, Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics, A simple tableau system for the logic of elsewhere, Arthur Prior and `now', Reichenbach, Prior and hybrid tense logic, On the modal logic of subset and superset: tense logic over Medvedev frames, Axiomatizing Hybrid Products of Monotone Neighborhood Frames, Hybrid logics: characterization, interpolation and complexity, The monodic fragment of propositional term modal logic, Temporal reference in linear tense logic, A dynamic-epistemic hybrid logic for intentions and information changes in strategic games, Characterising modal definability of team-based logics via the universal modality, Elementary canonical formulae: extending Sahlqvist's theorem, Many-sorted hybrid modal languages, Interpolation for extended modal languages, Temporal Logics with Reference Pointers and Computation Tree Logics, Inequality without irreflexivity, Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations, Characterizing Relative Frame Definability in Team Semantics via the Universal Modality, Modal languages for topology: expressivity and definability, Terminating Tableau Calculi for Hybrid Logics Extending K, Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA, Hybrid Tableaux for the Difference Modality, Modal Logics for Parallelism, Orthogonality, and Affine Geometries, A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi, COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS, Computational complexity of hybrid interval temporal logics, Terminating tableau systems for hybrid logic with difference and converse, Hybrid logics of separation axioms, Combinations of tense and modality for predicate logic, A Hybridization of Irreflexive Modal Logics, A modal perspective on the computational complexity of attribute value grammar, Propositional \(\text Q\)-logic, On the undecidability of logics with converse, nominals, recursion and counting, Remarks on Gregory's ``actually operator, Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

Cites Work