The following pages link to (Q3773852):
Displayed 49 items.
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- On the strength of temporal proofs (Q809066) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- All finitely axiomatizable tense logics of linear time flows are coNP-complete (Q817685) (← links)
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms (Q929294) (← links)
- Linear temporal logic with until and next, logical consecutions (Q947268) (← links)
- Abstract models for dialogue protocols (Q1006459) (← links)
- Erratum to: ``Strong completeness and limited canonicity for PDL'' (Q1016034) (← links)
- A class of decidable information logics (Q1128479) (← links)
- On models for propositional dynamic logic (Q1183594) (← links)
- Temporal logics need their clocks (Q1186428) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- Parallel action: Concurrent dynamic logic with independent modalities (Q1207436) (← links)
- Lambek calculus and its relational semantics: Completeness and incompleteness (Q1314508) (← links)
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- A model existence theorem in infinitary propositional modal logic (Q1332142) (← links)
- Towards specifying norms (Q1353845) (← links)
- On the completeness of first degree weakly aggregative modal logics (Q1362596) (← links)
- A note on the interpolation property in tense logic (Q1366764) (← links)
- Belief closure: A semantics of common knowledge for modal propositional logic (Q1377482) (← links)
- Monad as modality (Q1392142) (← links)
- Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems (Q1409305) (← links)
- A hidden agenda (Q1575735) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- A ``geometric'' view of the dynamics of trajectories of computer programs (Q1813776) (← links)
- Minimal temporal epistemic logic (Q1815428) (← links)
- Axiomatizing the monodic fragment of first-order temporal logic (Q1849866) (← links)
- Coalgebras and monads in the semantics of Java (Q1853752) (← links)
- Topological reasoning and the logic of knowledge (Q1919762) (← links)
- Reasoning about time in the situation calculus (Q1924726) (← links)
- Temporal aspects of the modal logic of subset spaces (Q1960421) (← links)
- A propositional dynamic logic with qualitative probabilities (Q1961927) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Complete Axiomatization of a Relative Modal Logic with Composition and Intersection (Q4236070) (← links)
- Normal monomodal logics can simulate all others (Q4254623) (← links)
- 1996–1997 Winter Meeting of the Association for Symbolic Logic (Q4372926) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- Temporal theories of reasoning (Q4835517) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
- A nonstandard approach to the logical omniscience problem (Q5917442) (← links)
- Modal logics of succession for 2-dimensional integral spacetime (Q5935784) (← links)
- Topological modal logics satisfying finite chain conditions (Q5937828) (← links)
- A note on the modal and temporal logics for \(n\)-dimensional spacetime (Q5937837) (← links)
- From modal logic to terminal coalgebras (Q5941165) (← links)