Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Solving the \$100 modal logic challenge
- Dynamic topological S5
- On what ontology is and not-is
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic
- An epistemic model of an agent who does not reflect on reasoning processes
- Terminating tableau systems for hybrid logic with difference and converse
- Interpreting network formalisms
- Noncumulative dialectical models and formal dialectics
- Carnapian extensions of S5
- Formal theories of knowledge in AI and robotics
- A theory of modal dialectics
- Maximality in modal logic
- Belief, awareness, and limited reasoning
- Models for normal intuitionistic modal logics
- Topology and duality in modal logic
- Infinitary propositional normal modal logic
- A natural semantics for modal logic over databases
- Bilattices and the theory of truth
- First-order indefinite and uniform neighbourhood semantics
- Application of modal logic to programming
- A Hintikka possible worlds model for certainty levels in medical decision making
- The World's simplest axiom of choice fails
- Amalgamation and interpolation in normal modal logics
- A guide to completeness and complexity for modal logics of knowledge and belief
- Normal bimodal logics of ability and action
- Normal modal model theory
- Rational belief change, Popper functions and counterfactuals
- Investigations into quantified modal logic. I
- Provability interpretations of modal logic
- Tavole semantiche per sistemi astratti di logica estensionale
- Semantical analyses of propositional systems of Fitch and Nelson
- On some intuitionistic modal logics
- Subformula results in some propositional modal logics
- A study of Kripke-type models for some modal logics by Gentzen's sequential method
- Propositional dynamic logic of regular programs
- Five faces of minimality
- Axiomatic-like performance analysis (ALPA)
- The computational complexity of the satisfiability of modal Horn clauses for modal propositional logics
- A tableau-like proof procedure for normal modal logics
- Possible world semantics and autoepistemic reasoning
- Completeness results for intuitionistic and modal logic in a categorical setting
- Indexed systems of sequents and cut-elimination
- Propositional quantification in the topological semantics for S4
- Modeling agents as qualitative decision makers
- Possibilistic reasoning -- a mini-survey and uniform semantics
- A proof-theoretic investigation of a logic of positions
- Mathematical modal logic: A view of its evolution
- The semantics of entailment omega
- EXPtime tableaux for ALC
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- The genesis of possible worlds semantics
- The convolution algebra
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- A semantic hierarchy for intuitionistic logic
- A new proof of the McKinsey-Tarski theorem
- A proof of topological completeness for S4 in (0,1)
- On the nonexistence of universal information structures
- Actuality, tableaux, and two-dimensional modal logics
- Specification languages in algebraic compilers
- Dynamic interactive epistemology
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
- An infinitary probability logic for type spaces
- Modal extensions of sub-classical logics for recovering classical logic
- Epistemic properties of knowledge hierarchies
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Logical characterizations of regular equivalence in weighted social networks
- Logical-epistemic foundations of general game descriptions
- Verification of dynamic bisimulation theorems in Coq
- Back to the actual future
- The personal wealth importance to the intertemporal choice
- Oskar Becker and the modal translation of intuitionistic logic
- Laws of nature as constraints
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- 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
- Expressive power and semantic completeness: Boolean connectives in modal logic
- Kripke semantics for knowledge representation logics
- Blocking and other enhancements for bottom-up model generation methods
- Evaluation of cyber security and modelling of risk propagation with Petri nets
- A goal-directed decision procedure for hybrid PDL
- Actuality in propositional modal logic
- Inverse semigroups with apartness
- Expressiveness of propositional projection temporal logic with star
- Inductive reasoning about unawareness
- S7
- A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system
- Temporal interaction of information and belief
- A decision procedure for propositional projection temporal logic with infinite models
- Weakly complete axiomatization of exogenous quantum propositional logic
- A proof-theoretic view of necessity
- The decidability of the intensional fragment of classical linear logic
- A semantical analysis of implicational system I and of the first degree of entailment
- Prior-type modal logic. I
- Provability as a deontic notion
- A deontic counterpart of Lewis's S1
- Validity and necessity
- The intrinsic quantum nature of Nash equilibrium mixtures
- Deontic logic and possible worlds semantics: A historical sketch
- Ignoring ignorance and agreeing to disagree
- A generalised model of judgment aggregation
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)
