The following pages link to Modal logic (Q2744124):
Displaying 50 items.
- Hilbert-style presentations of two logics associated to tetravalent modal algebras (Q456967) (← links)
- Decidability of an Xstit logic (Q456970) (← links)
- Static analysis of XML security views and query rewriting (Q462481) (← links)
- On finitely-valued fuzzy description logics (Q465589) (← links)
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- Refinement modal logic (Q476194) (← links)
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Algorithmic correspondence for intuitionistic modal mu-calculus (Q483295) (← links)
- On possible worlds with modal parts. A semantics for modal interaction (Q484200) (← links)
- Some topological properties of paraconsistent models (Q484905) (← links)
- Abstract argument games via modal logic (Q484918) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- On axiomatizations of public announcement logic (Q484925) (← links)
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- Agreeing to disagree in probabilistic dynamic epistemic~logic (Q484932) (← links)
- On the factivity of implicit intersubjective knowledge (Q484978) (← links)
- Montague's theorem and modal logic (Q488358) (← links)
- Multiagent belief revision (Q492877) (← links)
- Properties of saturation in monotonic neighbourhood models and some applications (Q495833) (← links)
- Duality for the logic of quantum actions (Q495836) (← links)
- A generalization of the Routley-Meyer semantic framework (Q496325) (← links)
- Intricate axioms as interaction axioms (Q497427) (← links)
- A dichotomy for some elementarily generated modal logics (Q497429) (← links)
- Structural connections between a forcing class and its modal logic (Q498994) (← links)
- Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) (Q506104) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Syntactic awareness in logical dynamics (Q513899) (← links)
- Agency and fictional truth: a formal study on fiction-making (Q514095) (← links)
- Graph aggregation (Q514143) (← links)
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- The interrogative model of inquiry meets dynamic epistemic logics (Q514587) (← links)
- Complexity of validity for propositional dependence logics (Q515658) (← links)
- Logics of temporal-epistemic actions (Q516250) (← links)
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317) (← links)
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747) (← links)
- Normal modal logics determined by aligned clusters (Q519847) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Multimodal epistemic Łukasiewicz logics with application in immune system (Q521734) (← links)
- On bisimulations for description logics (Q527171) (← links)
- On graph calculi for multi-modal logics (Q530865) (← links)
- Connected modal logics (Q535140) (← links)
- Canonical extensions and canonicity via dcpo presentations (Q541219) (← links)
- Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth (Q542124) (← links)
- Lattice-valued modal propositional logic and its completeness (Q543066) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Norms as ascriptions of violations: an analysis in modal logic (Q545168) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- On the failure of the finite model property in some fuzzy description logics (Q549343) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
