On expressive power of basic modal intuitionistic logic as a fragment of classical FOL › Research Explorer

On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

Research output: Contribution to journal › Article › peer-review

DOI

https://doi.org/10.1016/j.jal.2016.11.036
Final published version

Grigory K. Olkhovikov

Original language	English
Pages (from-to)	57-90
Number of pages	34
Journal	Journal of Applied Logic
Volume	21
DOIs	https://doi.org/10.1016/j.jal.2016.11.036
Publication status	Published - 1 May 2017

Research areas

Bisimulation, Intuitionistic logic, Modal logic, Model theory, Propositional logic, Van Benthem's theorem

ASJC Scopus subject areas

Logic
Applied Mathematics

WoS ResearchAreas Categories

Computer Science, Artificial Intelligence
Computer Science, Theory & Methods
Mathematics, Applied
Logic

ID: 1620769