Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Arithmetical interpretations of dynamic logic
- A complete proof system for propositional projection temporal logic
- The logic of uncertain justifications
- Meredith, Prior, and the history of possible worlds semantics
- A deontic counterpart of Lewis's S1
- Defining relevant implication in a propositionally quantified S4
- Tavole semantiche per sistemi astratti di logica estensionale
- A useful four-valued logic
- Kripke incomplete logics containing KTB
- Blocking and other enhancements for bottom-up model generation methods
- Counterfactual worlds
- Two proofs of the algebraic completeness theorem for multilattice logic
- A Hintikka possible worlds model for certainty levels in medical decision making
- An efficient approach for abstraction-refinement in model checking
- Verification of dynamic bisimulation theorems in Coq
- The World's simplest axiom of choice fails
- The intrinsic quantum nature of Nash equilibrium mixtures
- Current trends in substructural logics
- Deontic logic and possible worlds semantics: A historical sketch
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- Semantics for relevant logics
- Subformula results in some propositional modal logics
- Application of modal logic to programming
- Five faces of minimality
- When programs have to watch paint dry
- Grades of probability modality in the law of evidence
- Separating Markov's principles
- An embedding of classical logic in S4
- Prior-type modal logic. I
- The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
- Formal theories of knowledge in AI and robotics
- John McCarthy's legacy
- Ternary relations and relevant semantics
- A proof-theoretic view of necessity
- A natural semantics for modal logic over databases
- scientific article; zbMATH DE number 7243672 (Why is no real title available?)
- S7
- Investigations into quantified modal logic. I
- Validity and necessity
- A semantic hierarchy for intuitionistic logic
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- Soundness-preserving fusion of modal logics in Coq
- CLASSIFICATION OF TYPES OF SOCIETAL CONFLICTS AND CHARACTERIZATION OF THEIR RESOLUTION PROCESSES BASED ON DEONTIC LOGIC
- Belief change in branching time: AGM-consistency and iterated revision
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Amalgamation and interpolation in normal modal logics
- Tensed modalities
- Intuitive counterexamples for constructive fallacies
- A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
- A proof of topological completeness for S4 in (0,1)
- Fuzzy terms
- Kripke semantics for knowledge representation logics
- Krull dimension in modal logic
- Carnapian extensions of S5
- A terminating intuitionistic calculus
- A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic
- Models for normal intuitionistic modal logics
- Infinitary propositional normal modal logic
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
- Evaluation of cyber security and modelling of risk propagation with Petri nets
- Inductive reasoning about unawareness
- Belief, awareness, and limited reasoning
- Logical analysis of emotions in text from natural language
- Weakly complete axiomatization of exogenous quantum propositional logic
- Axiomatic-like performance analysis (ALPA)
- Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
- Normal bimodal logics of ability and action
- Possibilistic reasoning -- a mini-survey and uniform semantics
- Propositional dynamic logic of regular programs
- Modeling agents as qualitative decision makers
- Ignoring ignorance and agreeing to disagree
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Dynamic topological logic
- Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic
- scientific article; zbMATH DE number 7536428 (Why is no real title available?)
- Meaning in use
- Indexed systems of sequents and cut-elimination
- Topology and duality in modal logic
- Epistemic properties of knowledge hierarchies
- A splitting logic in NExt(KTB)
- Dynamic interactive epistemology
- The genesis of possible worlds semantics
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
- Probability logic for type spaces
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- Interpolation in weakly transitive modal logics
- Topological completeness of logics above \(\mathbf{S4}\)
- Proof analysis for Lewis counterfactuals
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5
- Solving the \$100 modal logic challenge
- Automated deduction
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning
- First-order indefinite and uniform neighbourhood semantics
- Logical-epistemic foundations of general game descriptions
- EXPtime tableaux for ALC
- Foreword to the special issue dedicated to the memory of Leo Esakia
- Laws of nature as constraints
This page was built for publication: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5728442)
