Search results
From MaRDI portal
- intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations 2011-08-26 Paper Epsilon-Tubes and Generalized...10 bytes (18 words) - 18:08, 6 October 2023
- Non-classical Logical Approach to Social Software 2020-07-27 Paper Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega...10 bytes (16 words) - 13:45, 28 January 2024
- mardi4nfdi.de/entity/Q4999277 2021-07-06 Paper Axiomatic systems and topological semantics for intuitionistic temporal logic 2020-02-18 Paper...10 bytes (16 words) - 10:11, 25 September 2023
- Publication Type The topology of justification 2008-11-10 Paper Topological Semantics of Justification Logic 2008-06-05 Paper Introducing Justification...10 bytes (16 words) - 01:00, 25 September 2023
- Interpolation properties for Sacchetti's logics 2022-11-11 Paper Topological semantics of conservativity and interpretability logics 2021-11-09 Paper On...10 bytes (16 words) - 18:43, 24 September 2023
- 2019-10-30 Paper Topological-frame products of modal logics 2018-12-21 Paper COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS 2018-10-25...10 bytes (16 words) - 01:59, 25 September 2023
- Paper The Kripke schema in metric topology 2012-12-10 Paper Topological forcing semantics with settling 2012-04-10 Paper https://portal.mardi4nfdi.de/entity/Q3081648...10 bytes (18 words) - 20:11, 11 December 2023
- Languages over Infinite Words 2009-02-03 Paper Probabilistic and Topological Semantics for Timed Automata 2008-04-24 Paper On Decision Problems for Probabilistic...10 bytes (16 words) - 10:48, 6 October 2023
- Experimental Spatio-Temporal Model Checker 2021-05-18 Paper Algebraic and topological semantics for inquisitive logic via choice-free duality 2020-03-04 Paper Disjunction...10 bytes (16 words) - 19:24, 24 September 2023
- justification 2008-11-10 Paper Justification Logic 2008-10-27 Paper Topological Semantics of Justification Logic 2008-06-05 Paper Symmetric Logic of Proofs...10 bytes (18 words) - 18:23, 11 December 2023
- untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness 2016-12-23 Paper Term Sequent Logic 2015-04-09...10 bytes (17 words) - 19:08, 6 October 2023
- mardi4nfdi.de/entity/Q5111182 2020-05-26 Paper Axiomatic systems and topological semantics for intuitionistic temporal logic 2020-02-18 Paper Intuitionistic...10 bytes (16 words) - 16:33, 6 October 2023
- nominal lattice and topological semantics, with a proof of topological completeness 2016-12-23 Paper Nominal SOS 2016-07-08 Paper Game Semantics in the Nominal...10 bytes (18 words) - 20:26, 11 December 2023
- Intuitionistic Temporal Logic 2020-05-26 Paper Axiomatic systems and topological semantics for intuitionistic temporal logic 2020-02-18 Paper Intuitionistic...10 bytes (16 words) - 10:11, 25 September 2023
- THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES 2024-04-04 Paper Fixed point logics and definable topological properties 2024-03-05 Paper Dynamic...10 bytes (19 words) - 17:23, 11 December 2023
- Algebraic and topological semantics for inquisitive logic via choice-free duality 2020-03-04 Paper The Mckinsey-Tarski theorem for topological evidence logics...10 bytes (16 words) - 14:46, 10 December 2023
- 2020-05-12 Paper CHOICE-FREE STONE DUALITY 2020-04-17 Paper Algebraic and topological semantics for inquisitive logic via choice-free duality 2020-03-04 Paper COMPLETE...10 bytes (18 words) - 13:07, 6 October 2023
- NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC 2021-12-09 Paper Topological semantics of conservativity and interpretability logics 2021-11-09 Paper A...10 bytes (16 words) - 12:59, 6 October 2023
- de/entity/Q4353633 1997-09-10 Paper Metric semantics from partial order semantics 1997-09-09 Paper Denotational linear time semantics and sequential composition 1997-02-27...10 bytes (17 words) - 01:51, 9 December 2023
- Applications to Lossy Channel Systems 2008-05-27 Paper Probabilistic and Topological Semantics for Timed Automata 2008-04-24 Paper On Decision Problems for Probabilistic...10 bytes (16 words) - 21:49, 22 September 2023