Pages that link to "Item:Q1245214"
From MaRDI portal
The following pages link to Investigations in modal and tense logics with applications to problems in philosophy and linguistics (Q1245214):
Displaying 29 items.
- Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] (Q383047) (← links)
- Where have all the Californian tense-logicians gone? (Q516426) (← links)
- Der Verband der normalen verzweigten Modallogiken (Q599049) (← links)
- Representation of nondeterministic information (Q792780) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- First-order classical modal logic (Q863182) (← links)
- Modal logic and model theory (Q1080411) (← links)
- Preservation of expressive completeness in temporal models (Q1090324) (← links)
- Automata-theoretic techniques for modal logics of programs (Q1090675) (← links)
- Infinitary propositional normal modal logic (Q1102267) (← links)
- Expressive completeness failure in branching time structures (Q1109759) (← links)
- Model theory for tense logic: Saturated and special models with applications to the tense hierarchy (Q1156790) (← links)
- Time and modality in the logic of agency (Q1207433) (← links)
- Calculating self-referential statements. I: Explicit calculations (Q1259545) (← links)
- A logic characterized by the class of connected models with nested domains (Q1264135) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- A theory of hypermodal logics: Mode shifting in modal logic (Q1610618) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Causal dynamic inference (Q1935591) (← links)
- Modal provability foundations for argumentation networks (Q2269511) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- Classification of extensions of the modal logic S4 (Q2436104) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Atoms of tense algebras (Q2640599) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Tense Logic Without Tense Operators (Q4879194) (← links)
