The following pages link to (Q5604443):
Displaying 50 items.
- An interpretation of Łukasiewicz's 4-valued modal logic (Q263087) (← links)
- Formal justification of underspecification for S5 (Q287254) (← links)
- Nice embedding in classical logic (Q300555) (← links)
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- A tableau-based decision procedure for CTL\(^*\) (Q432138) (← links)
- On a derivation of the necessity of identity (Q484964) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Prior on the semantics of modal and tense logic (Q516414) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- De re modality and the new essentialism: a dilemma (Q558420) (← links)
- First-order intensional logic (Q598308) (← links)
- The situation calculus: a case for modal logic (Q616039) (← links)
- 3-SAT = SAT for a class of normal modal logics (Q673009) (← links)
- Applause: An implementation of the Collins-Michalski theory of plausible reasoning (Q751307) (← links)
- Tensed modalities (Q758993) (← links)
- Quantified modal logic: non-normal worlds and propositional attitudes (Q787129) (← links)
- Urn models: A classical exposition (Q791516) (← links)
- Languages of similarity (Q793728) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Reasoning about coalitional games (Q834401) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- Strategies for modal resolution: Results and problems (Q920970) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Necessity and relative contingency (Q995671) (← links)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- A simple deduction method for modal logic (Q1051628) (← links)
- Modalities and quantum mechanics (Q1059630) (← links)
- Graded modalities. I (Q1065786) (← links)
- Some paraconsistent sentential calculi (Q1068811) (← links)
- Description and reasoning of VLSI circuit in temporal logic (Q1075756) (← links)
- Formal theories of knowledge in AI and robotics (Q1079021) (← links)
- Some extensions of a claim of Aumann in an axiomatic model of knowledge (Q1079452) (← links)
- An algebraic study of well-foundedness (Q1087540) (← links)
- A logic to reason about likelihood (Q1090326) (← links)
- Specification and verification of database dynamics (Q1092680) (← links)
- Belief, awareness, and limited reasoning (Q1096610) (← links)
- Modal operators with probabilistic interpretations. I (Q1102938) (← 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)
- Normal predicative logics with graded modalities (Q1106194) (← links)
- A first-order conditional logic for prototypical properties (Q1108818) (← links)
- Modal resolution in clausal form (Q1118577) (← links)
- The power of temporal proofs (Q1118578) (← links)
- Completeness proofs for propositional logic with polynomial-time connectives (Q1123883) (← links)
- Relevance from an epistemic perspective (Q1127353) (← links)
- A class of decidable information logics (Q1128479) (← links)
- On the knowledge requirements of tasks (Q1128492) (← links)
