Author of the publication

Local tabularity without transitivity.

, and . Advances in Modal Logic, page 520-534. College Publications, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Products of modal logics and tensor products of modal algebras., , and . J. Appl. Log., 12 (4): 570-583 (2014)On PSPACE-decidability in Transitive Modal Logic.. Advances in Modal Logic, page 269-287. King's College Publications, (2004)Modal Logics of Finite Direct Powers of Have the Finite Model Property.. WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 610-618. Springer, (2019)Downward-directed transitive frames with universal relations.. Advances in Modal Logic, page 413-428. College Publications, (2006)On Modal Logics of Hamming Spaces., , and . Advances in Modal Logic, page 395-410. College Publications, (2012)Modal Logics of Regions and Minkowski Spacetime., and . J. Log. Comput., 15 (4): 559-574 (2005)Satisfiability Problems on Sums of Kripke Frames.. ACM Trans. Comput. Log., 23 (3): 15:1-15:25 (2022)Local tabularity without transitivity., and . Advances in Modal Logic, page 520-534. College Publications, (2016)Filtration Safe Operations on Frames., , and . Advances in Modal Logic, page 333-352. College Publications, (2014)PSPACE-decidability of Japaridze's polymodal logic.. Advances in Modal Logic, page 289-304. College Publications, (2008)