15 results
STRONG COMPLETENESS OF A FIRST-ORDER TEMPORAL LOGIC FOR REAL TIME
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 22 May 2024, pp. 1-18
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
4 - Modality and Temporality in Buridan’s Logic
-
-
- Book:
- Interpreting Buridan
- Published online:
- 01 February 2024
- Print publication:
- 08 February 2024, pp 51-68
-
- Chapter
- Export citation
PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 04 September 2023, pp. 1-50
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 04 February 2022, pp. 995-1022
- Print publication:
- September 2022
-
- Article
- Export citation
2 - Basics of Model Checking
-
- Book:
- Model Checking Quantum Systems
- Published online:
- 14 January 2021
- Print publication:
- 04 February 2021, pp 6-30
-
- Chapter
- Export citation
CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 13 August 2019, pp. 806-822
- Print publication:
- December 2019
-
- Article
- Export citation
THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 829-867
- Print publication:
- September 2018
-
- Article
- Export citation
Temporal logic programs with variables*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 2 / March 2017
- Published online by Cambridge University Press:
- 11 November 2016, pp. 226-243
-
- Article
- Export citation
LINEAR TIME IN HYPERSEQUENT FRAMEWORK
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 29 March 2016, pp. 121-144
- Print publication:
- March 2016
-
- Article
- Export citation
Reasoning about actions with Temporal Answer Sets
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 2 / March 2013
- Published online by Cambridge University Press:
- 25 January 2012, pp. 201-225
-
- Article
- Export citation
Checking the quality of clinical guidelines using automated reasoningtools
-
- Journal:
- Theory and Practice of Logic Programming / Volume 8 / Issue 5-6 / November 2008
- Published online by Cambridge University Press:
- 01 November 2008, pp. 611-641
-
- Article
- Export citation
Logical consecutions in discrete linear temporal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1137-1149
- Print publication:
- December 2005
-
- Article
- Export citation
Temporalized logics and automata for time granularity
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 5-6 / September 2004
- Published online by Cambridge University Press:
- 12 August 2004, pp. 621-658
-
- Article
- Export citation