Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
From MaRDI portal
Publication:5728442
DOI10.1002/malq.19630090502zbMath0118.01305OpenAlexW2075277371MaRDI QIDQ5728442
Publication date: 1963
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19630090502
Related Items (only showing first 100 items - show all)
Note on a system of Åqvist ⋮ Laws of nature as constraints ⋮ Applications of logic of correlated knowledge to quantum mechanics ⋮ CLASSIFICATION OF TYPES OF SOCIETAL CONFLICTS AND CHARACTERIZATION OF THEIR RESOLUTION PROCESSES BASED ON DEONTIC LOGIC ⋮ Actuality in propositional modal logic ⋮ The Logic of Uncertain Justifications ⋮ The McKinsey axiom is not canonical ⋮ An axiomatic system for the first order language with an equi-cardinality quantifier ⋮ Reasoning About Belief Revision ⋮ Deontic logic and possible worlds semantics: A historical sketch ⋮ Ignoring ignorance and agreeing to disagree ⋮ A generalised model of judgment aggregation ⋮ A quantitative analysis of modal logic ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ An embedding of classical logic in S4 ⋮ Intuitive counterexamples for constructive fallacies ⋮ Finite non-deterministic semantics for some modal systems ⋮ Inverse semigroups with apartness ⋮ An infinitary probability logic for type spaces ⋮ Unnamed Item ⋮ Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics ⋮ Cooperative concurrent games ⋮ Semantics for relevant logics ⋮ KRULL DIMENSION IN MODAL LOGIC ⋮ Expressiveness of propositional projection temporal logic with star ⋮ Logical analysis of emotions in text from natural language ⋮ Modal extensions of sub-classical logics for recovering classical logic ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Inductive reasoning about unawareness ⋮ Unnamed Item ⋮ The Dynamic Epistemic Logic for Actual Knowledge ⋮ Unnamed Item ⋮ Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen ⋮ Epistemic properties of knowledge hierarchies ⋮ S7 ⋮ Quantified temporal alethic-deontic logic ⋮ A unified framework for hypothetical and practical reasoning (1): Theoretical foundations ⋮ Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ How a Computer Should Think ⋮ A Useful Four-Valued Logic ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Temporal interaction of information and belief ⋮ On the Unusual Effectiveness of Logic in Computer Science ⋮ FROM CLASSICAL TO EPISTEMIC GAME THEORY ⋮ AN EPISTEMIC RATIONALE FOR ORDER INDEPENDENCE ⋮ Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic ⋮ Defining relevant implication in a propositionally quantified S4 ⋮ A decision procedure for propositional projection temporal logic with infinite models ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ Arithmetical interpretations of dynamic logic ⋮ A proof of Hume's separation thesis based on a formal system for descriptive and normative statements ⋮ Inductive logic with causal modalities: A deterministic approach ⋮ Logical characterizations of regular equivalence in weighted social networks ⋮ Hauptsatz for higher-order modal logic ⋮ A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS ⋮ Logical-epistemic foundations of general game descriptions ⋮ Weakly complete axiomatization of exogenous quantum propositional logic ⋮ A proof-theoretic view of necessity ⋮ Expressive power and semantic completeness: Boolean connectives in modal logic ⋮ Kripke semantics for knowledge representation logics ⋮ Temporalization of Probabilistic Propositional Logic ⋮ Intentional identity interpreted: A case study of the relations among quantifiers, pronouns, and propositional attitudes ⋮ An incomplete nonnormal extension of S3 ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Learning in a Changing World, an Algebraic Modal Logical Approach ⋮ Complexity of propositional projection temporal logic with star ⋮ PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS ⋮ The decidability of the intensional fragment of classical linear logic ⋮ Meaning in Use ⋮ A Review on Rough Sets and Possible World Semantics for Modal Logics ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Unnamed Item ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ Tools and Methods for RTCP-Nets Modeling and Verification ⋮ Back to the actual future ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Lattices with Interior and Closure Operators and Abstract Approximation Spaces ⋮ Algebra and logic for resource-based systems modelling ⋮ Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice ⋮ The personal wealth importance to the intertemporal choice ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi ⋮ A semantical analysis of implicational system I and of the first degree of entailment ⋮ Prior-type modal logic. I ⋮ Provability as a deontic notion ⋮ Two proofs of the algebraic completeness theorem for multilattice logic ⋮ A deontic counterpart of Lewis's S1 ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ Evaluation of cyber security and modelling of risk propagation with Petri nets ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory ⋮ Validity and necessity ⋮ Oskar Becker and the modal translation of intuitionistic logic ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators ⋮ Copy and remove as dynamic operators ⋮ Equational Reasoning in Non-Classical Logics ⋮ Basic modal logic ⋮ Exogenous Probabilistic Computation Tree Logic ⋮ A goal-directed decision procedure for hybrid PDL ⋮ A complete and consistent modal set theory
This page was built for publication: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
