The following pages link to (Q3773852):
Displaying 50 items.
- Towards resolution-based reasoning for connected logics (Q281156) (← links)
- On the succinctness of some modal logics (Q360052) (← links)
- The iterative conception of set. A (bi-)modal axiomatisation (Q380997) (← links)
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- Expressive logics for coalgebras via terminal sequence induction (Q558417) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic (Q647319) (← 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)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← 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)
- A canonical topological model for extensions of K4 (Q969431) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← 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)
- The finite model property for logics with the tangle modality (Q1708103) (← links)
- Local properties in modal logic (Q1761295) (← 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)
- Event-based time-stamped claim logic (Q2043818) (← links)
