The following pages link to (Q3867808):
Displayed 50 items.
- Automorphisms of the lattice of classical modal logics (Q284221) (← links)
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. (Q284232) (← links)
- Modal logics, justification logics, and realization (Q286591) (← links)
- Structures of opposition induced by relations. The Boolean and the gradual cases (Q287761) (← links)
- A logic of separating modalities (Q290917) (← links)
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- Covering-based rough sets and modal logics. I. (Q313134) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Metalogical decorations of logical diagrams (Q346763) (← links)
- Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] (Q383047) (← links)
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Three-valued logics in modal logic (Q383567) (← links)
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- Possible worlds semantics for partial meet multiple contraction (Q421351) (← links)
- The logic of risky knowledge, reprised (Q432960) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- Levels of modality for BDI logic (Q456714) (← links)
- Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition (Q484199) (← links)
- Zolin and Pizzi: defining necessity from noncontingency (Q485619) (← links)
- Properties of saturation in monotonic neighbourhood models and some applications (Q495833) (← links)
- Counterfactuals in ``agreeing to disagree'' type results (Q502381) (← links)
- Syntactic awareness in logical dynamics (Q513899) (← links)
- A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations (Q519858) (← links)
- Semantic information and the correctness theory of truth (Q535391) (← links)
- Modal logics for communicating systems (Q578896) (← links)
- Reasoning about common knowledge with infinitely many agents (Q598197) (← links)
- Agential obligation as non-agential personal obligation plus agency (Q598546) (← links)
- A completeness proof of Kiczuk's logic of physical change (Q609650) (← links)
- Hybrid logic with the difference modality for generalisations of graphs (Q631090) (← links)
- A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\) (Q631522) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic (Q647319) (← links)
- Dynamic logics of evidence-based beliefs (Q647408) (← links)
- Possible worlds in use (Q647416) (← links)
- Reasoning about social choice functions (Q652736) (← links)
- Graded hypothesis theories (Q673394) (← links)
- Reusing and modifying rulebases by predicate substitution (Q676430) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Formal semantics for mutual belief (Q685541) (← links)
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics (Q687153) (← links)
- Identity in modal logic theorem proving (Q687161) (← links)
- A logic of intentions and beliefs (Q689079) (← links)
- Denumerably many Post-complete normal modal logics with propositional constants (Q691130) (← links)
- Minimally congruential contexts: observations and questions on embedding E in K (Q691133) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Alternative semantics for unawareness (Q700078) (← links)
- An application of rough sets to graph theory (Q712705) (← links)
- Syntactic foundations for unawareness of theorems (Q763348) (← links)
- A logic for multiple-source approximation systems with distributed knowledge base (Q763469) (← links)