The following pages link to (Q3026978):
Displaying 50 items.
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- Information closure and the sceptical objection (Q484948) (← links)
- Algebraic structures in the vicinity of pre-rough algebra and their logics (Q507761) (← links)
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- Dynamic extensions of arrow logic (Q598299) (← links)
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Duality and the completeness of the modal \(\mu\)-calculus (Q671986) (← links)
- 3-SAT = SAT for a class of normal modal logics (Q673009) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Completeness and correspondence in Chellas-Segerberg semantics (Q742554) (← links)
- The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems (Q862581) (← links)
- FOIL axiomatized (Q865042) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- An epistemic model of logic programming (Q918192) (← links)
- A non-preferential semantics of non-monotonic modal logic (Q1028644) (← links)
- An approach to default reasoning based on a first-order conditional logic: Revised report (Q1103607) (← links)
- The recursive resolution method for modal logic (Q1104915) (← links)
- A first-order conditional logic for prototypical properties (Q1108818) (← links)
- Necessity and contingency (Q1116939) (← links)
- Modal resolution in clausal form (Q1118577) (← links)
- A class of decidable information logics (Q1128479) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Brouwer-Zadeh logic, decidability and bimodal systems (Q1194108) (← links)
- On undecidability of propositional temporal logics on trace systems (Q1199555) (← links)
- A modal logic for cyclic repeating (Q1201727) (← links)
- Directed frames (Q1264137) (← links)
- Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic (Q1274292) (← links)
- On first-order conditional logics (Q1274556) (← links)
- View-based explicit knowledge (Q1295424) (← links)
- Constructing fuzzy measures in expert systems (Q1296907) (← links)
- Modal logic with names (Q1310624) (← links)
- A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
- Modal logics with the MacIntosh rule (Q1316410) (← links)
- Non-genuine MacIntosh logics (Q1316411) (← links)
- Modal logics for qualitative possibility theory (Q1318249) (← links)
- Logic of proofs (Q1326774) (← links)
- Refutation systems in modal logic (Q1327486) (← links)
- Minimal knowledge problem: A new approach (Q1329374) (← links)
- A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
- On the logic of common belief and common knowledge (Q1330013) (← links)
- Unifying default reasoning and belief revision in a modal framework (Q1330669) (← links)
- Conditional logics of normality: A modal approach (Q1330670) (← links)
- The logical structure of linguistic commitment. I: Four systems of non- relevant commitment entailment (Q1332144) (← links)
- Cut-free sequent and tableau systems for propositional Diodorean modal logics (Q1337606) (← links)
- On the logic of event-causation. Jaśkowski-style systems of causal logic (Q1338482) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- The power of the ``always'' operator in first-order temporal logic (Q1350527) (← links)
- Actors, actions, and initiative in normative system specification (Q1353968) (← links)
- The relationship between knowledge, belief, and certainty (Q1354089) (← links)