The following pages link to (Q4342093):
Displaying 38 items.
- A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\) (Q631522) (← links)
- Possible worlds in use (Q647416) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Knowledge, action, and the frame problem (Q814427) (← links)
- Some embedding theorems for conditional logic (Q853813) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- 2-sequent calculus: A proof theory of modalities (Q1207545) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← links)
- Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
- Modal logics with the MacIntosh rule (Q1316410) (← links)
- Towards automating duality (Q1343394) (← links)
- A note on the interpolation property in tense logic (Q1366764) (← links)
- Logic of knowledge and utterance and the liar (Q1386685) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- Natural deduction based upon strict implication for normal modal logics (Q1903127) (← links)
- Syntactic refutations against finite models in modal logic (Q1903134) (← links)
- A Łukasiewicz-style refutation system for the modal logic S4 (Q1908788) (← links)
- Taming logic (Q1909607) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- Multi-dimensional semantics for modal logics (Q1924325) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- A modal logic for subjective default reasoning (Q1978244) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic (Q2276939) (← links)
- Some normal extensions of K4.3 (Q2377059) (← links)
- An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q2436101) (← links)
- A proof-theoretic view of necessity (Q2500817) (← links)
- Cut-free tableau calculi for some propositional normal modal logics (Q2563456) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- Modalities Without Worlds (Q2908759) (← links)
- A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence (Q3295786) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- (Q4966494) (← links)
- Logical analysis of emotions in text from natural language (Q5114311) (← links)
- On Modal Logics Defining Jaśkowski-Like Discussive Logics (Q5241525) (← links)
- Basic propositional logic and the weak excluded middle (Q5382587) (← links)
- Duality and completeness for US-logics (Q5937817) (← links)
